Strengthening UML Collaboration Diagrams by State Transformations
نویسندگان
چکیده
Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying, in addition, pre/postconditions and state transformations of operations and scenarios. This conceptual idea is formalized by means of graph transformation systems and graph process, thereby integrating the state transformation with the structural and the interaction aspect.
منابع مشابه
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
In this paper we continue our work on the formalization and validation of UML models by means of graph transformation systems. We here concentrate on statechart and collaboration diagrams albeit our approach covers use case, class, object, and sequence diagrams as well. The statechart and collaboration diagrams describe the operations of the underlying class diagram and include OCL expressions ...
متن کاملState Diagrams in Uml: a Formal Semantics Using Graph Transformations or Diagrams Are Nice, but Graphs Are worth Their Price
We show how to transform UML (Uniied Modeling Language) state diagrams into graphs by making explicit the intended semantics of the diagram. The process of state expansion in nested state diagrams is explained by graph transformations in three steps: (1) adding boundary nodes introducing a precise interface for the state to be expanded, (2) expanding the state, and (3) removing the boundary nod...
متن کاملStrengthening the Semantics of UML Collaboration Diagrams
A serious weakness of the UML is the lack of appropriate means for specifying the semantics of operations in a class diagram and the interpretation of actions on a statechart diagram. As required in the corresponding request for proposals [11], such specification should describe the preand postconditions of operations and actions, their effect on the current state, as well as the calls or signa...
متن کاملDynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system’s dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin’s st...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل